Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
311	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
312	On the Recurrence and Robust Properties of Lorenz’63 Model M. Gianfelice, F. Maimone, V. Pelino & S. Vaienti Add to Reading List Source URL: clima.meteoam.it Language: English - Date: 2012-04-27 04:31:33 Lorenz attractor Model theory Dynamical system Invariant measure Holomorphic functional calculus Orbifold Mathematical analysis Mathematics Structure
313	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory
314	Chapter 1 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Declarative programming languages can play an important role in the process of designing and implementing parallel systems. They bridge the g Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-04-14 04:42:28 Functional languages Procedural programming languages Models of computation Literate programming Haskell Parallel computing Lambda calculus Evaluation strategy Closure Software engineering Computing Computer programming
315	Addition Equations Worksheet 4 Add to Reading List Source URL: www.tlsbooks.com Language: English - Date: 2014-06-15 03:38:14 Ordinary differential equations Multivariable calculus Differential equations Elementary algebra Equation Partial differential equations Functional equation Calculus Mathematical analysis Mathematics
316	VINCULUM VOLUME 49 TERM[removed]Book Review Essential Mathematical Add to Reading List Source URL: www.qedcat.com Language: English - Date: 2012-04-22 10:50:24 Differential calculus Functional analysis Analytic functions Calculus Derivative Trigonometric functions Continuous function Integral Antiderivative Mathematical analysis Mathematics Functions and mappings
317	A Modified Prony Algorithm for Fitting Functions Defined by Difference Equations M. R. Osborne ∗ Add to Reading List Source URL: www.statsci.org Language: English - Date: 2012-06-21 23:57:17 Linear algebra Differential geometry Deduction Entailment Logical consequence Metalogic Matrix difference equation Eigenvalues and eigenvectors Holomorphic functional calculus Algebra Mathematics Logic
318	PDF Document Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-24 19:22:11 Functional languages Procedural programming languages Data types Computability theory Theoretical computer science Lambda calculus Recursion Lisp Map Software engineering Computing Computer programming
319	Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Higher-order functions Subroutines Functional programming Lambda calculus Type theory Fold Map Function Currying Software engineering Declarative programming Computing
320	1 Copyright © 2013, Oracle and/or its affiliates. All rights reserved. Lambda: A peek under the hood Add to Reading List Source URL: gotocon.com Language: English - Date: 2013-10-01 09:23:51 Cross-platform software Subroutines Java platform Functional programming Lambda calculus Java Closure Anonymous function Oracle Corporation Computing Software engineering Software

UPDATE